Formal Specification of CORBA Services Using Object-Z
نویسنده
چکیده
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interface definition language (IDL) and informal prose. This may lead to ambiguous descriptions. This paper proposes an abstract specification of components using the formal specification language Object-Z. The usage of Object-Z enables system designers and programmers to create, understand and maintain specifications of complex interfaces and their interaction. In connection with tool support, the proposed method is integrated into design methods for practical purposes. It give practitioners a better understanding of the design process and fosters the usefulness of formal methods.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA Formal Specification of the CORBA Event Service
CORBA is a standard proposed by the Object Management Group (OMG) that promotes interoperability between distributed object systems. Following the standardization of this object-oriented middleware, the OMG has specified a set of Common Object Services (COS) that are meant to serve as the building blocks of distributed CORBA applications. The COSes are specified using CORBA Interface Definition...
متن کاملTowards Components that Plug AND Play
Component-based programming promotes a software development process where applications are built by composing reusable pieces of software, called components. This process requires a demanding form of compatibility between components, often dubbed as “Plug and Play”: Plugability refers to the syntactic compatibility between components while “playability” refers to their behavioural compatibility...
متن کاملPetri Net Based Behavioural Specification of CORBA Systems
CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects. However, CORBA IDL does not provide any means to specify the behaviour of objects in an abstract a...
متن کاملImplementing TMN using CORBA object distribution
Telecommunication Management Networks can be considered as a set of distributed objects interacting to perform the network monitoring and control functions. In this paper, we explore the way to a full object distribution based on the OMG CORBA principles. Some studies and the early results of the X/Open-NM Forum XoJIDM working group indicate that this is possible and promising for the future. W...
متن کامل